1

The Modal Logic of Provability. The Sequential Approach

Year:
1982
Language:
english
File:
PDF, 2.11 MB
english, 1982